Словарь по логике - кавычки
Связанные словари
Кавычки
в грамматике естественного языка парный знак препинания (обычно ,, " или " "), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле.
В логике К. используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях "Москва расположена на Москве-реке" и "Москва состоит из шести букв" слово "Москва" в первом предложении употребляется обычно, а во втором автонимно, т. е. в качестве имени самого себя. Чтобы избежать смешения обычного и автонимного употребления выражений, используются К., т. наз. "кавычковые имена". Второе предложение следует записать так: ""Москва" состоит из шести букв". В естественном языке несложно различить обычное употребление выражений и их автонимное употребление. Однако в логике, когда приходится говорить о выражениях некоторого языка, возможна путаница, приводящая к ошибкам.
Вопрос-ответ:
Самые популярные термины
1 | 1495 | |
2 | 1307 | |
3 | 1163 | |
4 | 1008 | |
5 | 765 | |
6 | 710 | |
7 | 681 | |
8 | 677 | |
9 | 654 | |
10 | 652 | |
11 | 613 | |
12 | 611 | |
13 | 572 | |
14 | 571 | |
15 | 560 | |
16 | 558 | |
17 | 553 | |
18 | 538 | |
19 | 535 | |
20 | 521 |